Section: Contracts and Grants with Industry

The Multival Project

Participants : Hubert Garavel, Rémi Hérilier, Frédéric Lang, Radu Mateescu, Christine McKinty, Vincent Powazny, Wendelin Serwe.

Multival (Validation of Multiprocessor Multithreaded Architectures) is a project of Minalogic , the pôle de compétitivité mondial dedicated to micro-nano technologies and embedded software for systems on chip (EmSoC cluster of Minalogic ). It is funded by the French government (Fonds Unique Interministériel) and the Conseil Général de l'Isère. Multival addresses verification and performance evaluation issues for three innovative asynchronous architectures developed by Bull , Cea /Leti , and STMicroelectronics .

Multival started in December 2006 and was extended until May 2011. In 2011, we focused our activities on the enhancement of Cadp (see §  6.2.2 and §  6.2.3 ) and, in collaboration with our partners, on the verification of the Dtd (see §  6.3.2 ).